Search results for "Truth predicate"

The Gupta-Belnap Fixed-Point Problem and the Theory of Clones of Functions

2003

This paper presents the Gupta-Belnap Fixed-Point problem: to characterize the truth-functional schemes of the first-order logic such that, for every interpreted language L, a truth predicate for L can be defined in L using a Kripkean fixed-point. A propositional version of the problem is defined using the stipulation logic of A. Visser and then the strategy adopted for the solution to the three-valued case is presented, using the theory of clones of functions.